commutative semigroup

交换半群